1. Application and theory of petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002 : proceedings
پدیدآورنده : Javier Esparza, Charles Lakos )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Petri nets
رده :
QA
76
.
L28
Vol
.
2360
2. Automata, Languages, and Programming
پدیدآورنده : / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
3. Automata, Languages, and Programming
پدیدآورنده : / Javier Esparza, Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
4. Finite and algorithmic model theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Finite model theory. ;
5. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Finite model theory,Mathematics ، Computer science
رده :
QA
9
.
7
.
F565
2011
6. Finite and algorithmic model theory
پدیدآورنده : edited by Javier Esparza, Christian Michaux, Charles Steinhorn
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Finite model theory,، Computer science -- Mathematics
رده :
QA
9
.
7
.
F562
7. Free choice Petri nets
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Petri nets ; syst?me concurrent ; Alg?bre lin?aire ; r?seau Petri ;
8. October 2, 2010. Proceedingsع۰بGraph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27
پدیدآورنده : / rr (eds.)یJavier Esparza (auth.), Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Sch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
9. Principios de contabilidad :
پدیدآورنده : Álvaro Javier Romero López ; revisión técnica José Alfonso Esparza Ortiz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Accounting.
10. 28, 2010. Proceedings-Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20
پدیدآورنده : / Joseph Sifakis (auth.), Javier Esparza, Rupak Majumdar (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
11. Tools and Algorithms for the Construction and Analysis of Systems
پدیدآورنده : / Javier Esparza, Rupak Majumdar
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
12. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Javier Esparza, Rupak Majumdar (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : System analysis, Congresses,System design, Congresses,Computer Systems.,Software Validation.,Systems Analysis.
رده :
QA76
.
9
.
S88
T33
2010
13. Unfoldings: a partial-order approach to model checking
پدیدآورنده : Esparza, Javier
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Testing ، Computer software,Verification ، Computer systems
رده :
QA
76
.
76
.
T48E87
2008
